Open kfrajtak opened 1 year ago
Use the examples from https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/tree/main/java
Use the examples from https://gitlab.com/sosy-lab/benchmarking/sv-benchmarks/-/tree/main/java