Skip to content

Actions: UnitTestBot/UTBotCpp

Add issue to projects

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Not able to setup the configuration in WSL2 Ubuntu 24
Add issue to projects #253: Issue #690 opened by javierMolinero
December 3, 2024 09:22 14s
December 3, 2024 09:22 14s
VSCode plugin cannot find gRPC server on Ubuntu 24.04
Add issue to projects #252: Issue #689 opened by zacharytomlinson
August 29, 2024 03:33 11s
August 29, 2024 03:33 11s
Ubuntu VM crash
Add issue to projects #251: Issue #687 opened by Giancarlo1991
July 17, 2024 07:27 15s
July 17, 2024 07:27 15s
Segmentation fault on a simple program
Add issue to projects #250: Issue #686 opened by ganli2015
July 13, 2024 09:36 10s
July 13, 2024 09:36 10s
Add support for extern which not in target
Add issue to projects #249: Issue #684 opened by ladisgin
June 11, 2024 15:33 14s
June 11, 2024 15:33 14s
Generate for project generate not generate tests for some files
Add issue to projects #248: Issue #680 opened by ladisgin
June 4, 2024 06:26 11s
June 4, 2024 06:26 11s
Create ITF.json directory instead of build
Add issue to projects #247: Issue #679 opened by ladisgin
April 17, 2024 10:54 12s
April 17, 2024 10:54 12s
Change solver to bitwuzla
Add issue to projects #246: Issue #674 opened by ladisgin
March 22, 2024 14:05 21s
March 22, 2024 14:05 21s
Add options for paths of "test" and "report" dirs
Add issue to projects #245: Issue #673 opened by ladisgin
March 22, 2024 13:58 15s
March 22, 2024 13:58 15s
test run error Ubuntu 22.04
Add issue to projects #244: Issue #670 opened by ladisgin
March 1, 2024 11:31 15s
March 1, 2024 11:31 15s
Add the ability to run the initiation function before generating the test
Add issue to projects #243: Issue #669 opened by ladisgin
February 13, 2024 09:32 13s
February 13, 2024 09:32 13s