Fix compilation for 64bit souffle wordsizes, add build and test action #3
Annotations
1 error
|
Run smt-testing.dl
Process completed with exit code 1.
|
Loading