The following program results in a NumberFormatException as Silicon seems to try to parse Tuple2< as a BigInt.
- Silicon commit ea0efee
- command
java -jar -Xss128m ./target/scala-2.13/silicon.jar example.vpr --counterexample mapped --enableMoreCompleteExhale
example.vpr.zip
The following program results in a NumberFormatException as Silicon seems to try to parse
Tuple2<as a BigInt.java -jar -Xss128m ./target/scala-2.13/silicon.jar example.vpr --counterexample mapped --enableMoreCompleteExhaleexample.vpr.zip