Skip to content

Fix encoding of signed integer divisions #11

Fix encoding of signed integer divisions

Fix encoding of signed integer divisions #11

Annotations

1 error and 2 warnings

build (ubuntu-20.04)

failed Mar 25, 2024 in 17m 2s
Set up job
1s
Check out the repo
1s
Set up Python 3
0s
Set up Java
12s
Set up the environment
28s
Build with cargo --release
8m 44s
Run cargo tests --release
7m 33s
Package Prusti artifact
0s
Test Prusti artifact
0s
Upload Prusti artifact
0s
Post Set up Java
0s
Post Set up Python 3
0s
Post Check out the repo
0s
Complete job
0s