[SMT-LIB] a question about Benchmark Scrambler

Aaron Stump aaron.stump at gmail.com
Sat Aug 29 21:41:15 EDT 2009

Hi, Jieling.

An alternative is to do "make all", which will attempt to compile the
scrambler using gcj, the Gnu Java compiler.  Maybe this would work on your


On Sat, Aug 29, 2009 at 8:25 PM, jieling ai <jielingai.ai at gmail.com> wrote:

> Hi all,
> I had a problem when I tried to run benchmark scrambler.
> I downloaded the source code and followed the instructions in this link
> http://www.smtcomp.org/2009/scrambler.shtml, which are "*To build:* tar
> xfz
> scrambler.tgz; cd scrambler; make allj *To use:* java -jar scrambler.jar
> [+pats] *seed* *file.smt*"
> When I executed "make allj", I got this error:
> "jar cfe scrambler.jar Main *.class
>> jar: invalid option – e"
> I noticed "jar cfe scrambler.jar Main *.class" is a command in Makefile(the
> downloaded code), but in my enviroment,  -e option is not recognized.
> I was wondering is that because of my enviroment? I run it on
> Cygwin/Windows.
> Thank you very much!
> <http://www.smtcomp.org/2009/scrambler.shtml>
> --
> Jieling
> _______________________________________________
> SMT-LIB mailing list
> SMT-LIB at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/smt-lib

More information about the SMT-LIB mailing list