favu100 / b2program

READ-ONLY MIRROR of https://gitlab.cs.uni-duesseldorf.de/general/stups/b2program; DO NOT PUSH

5 stars 3 forks source link

Wrong No of Arguments #2

Closed ghost closed 3 years ago

ghost commented 3 years ago

Java

./gradlew run -Planguage="java" -Pbig_integer="true/false" [-Pminint="minint" -Pmaxint="maxint"] -Pdeferred_set_size="size" -Pfile=""

--Build is sucessful but getting wrong no of arguments. Can you pls update on this?

favu100 commented 3 years ago

This should be fixed now, can you check this please?

favu100 commented 3 years ago

I had some uncommited changes. Should be fixed now

favu100 commented 3 years ago

Does it work now?

favu100 commented 3 years ago

I have replaced "/" by File.separator in MachineReferenceGenerator. There are also some changes in ANTLR B Parser

favu100 commented 3 years ago

Maybe B2Program does not take the latest update of the ANTLR B Parser? You can try to invoke ./gradlew eclipse --refresh-dependencies

favu100 commented 3 years ago

Okay, I have quoted the File.separator. Does it work now?