Skip to content

Actions: UnitTestBot/klee

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow run results
86 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

tc CI #836: Pull request #123 synchronize by misonijnik
September 22, 2023 10:13 57m 15s columpio/tc
columpio/tc
September 22, 2023 10:13 57m 15s
tc CI #835: Pull request #123 synchronize by misonijnik
September 21, 2023 21:14 1h 2m 50s columpio/tc
columpio/tc
September 21, 2023 21:14 1h 2m 50s
tc CI #834: Pull request #123 synchronize by Columpio
September 21, 2023 12:32 1h 16m 11s columpio/tc
columpio/tc
September 21, 2023 12:32 1h 16m 11s
tc CI #833: Pull request #123 synchronize by Columpio
September 21, 2023 12:11 22m 0s columpio/tc
columpio/tc
September 21, 2023 12:11 22m 0s
tc CI #832: Pull request #123 synchronize by Columpio
September 21, 2023 11:52 16m 10s columpio/tc
columpio/tc
September 21, 2023 11:52 16m 10s
tc CI #831: Pull request #123 opened by Columpio
September 21, 2023 11:48 3m 22s columpio/tc
columpio/tc
September 21, 2023 11:48 3m 22s
Added building of uClibc for 32 and 64-bit archs. CI #830: Commit 0a16747 pushed by misonijnik
September 19, 2023 09:17 1h 2m 52s main
main
September 19, 2023 09:17 1h 2m 52s
[fix] Make isReachedTarget consistent with reportTruePositive CI #829: Commit 8d69a9f pushed by misonijnik
September 18, 2023 10:12 45m 38s main
main
September 18, 2023 10:12 45m 38s
[feat] Add cover-on-the-fly option CI #828: Commit d3344b5 pushed by misonijnik
September 18, 2023 09:00 1h 0m 16s main
main
September 18, 2023 09:00 1h 0m 16s
Make isReachedTarget consistent with reportTruePositive CI #827: Pull request #122 opened by misonijnik
September 18, 2023 09:00 45m 10s misonijnik/fixes
misonijnik/fixes
September 18, 2023 09:00 45m 10s
Consider function coverage for blocks with calls CI #826: Pull request #121 synchronize by misonijnik
September 17, 2023 20:15 47m 42s misonijnik/improve-coverage
misonijnik/improve-coverage
September 17, 2023 20:15 47m 42s