Open WeeknightMVP opened 1 year ago
This is a combination of two issues:
crucible-jvm
takes a long time to extract all of the classes it needs from JDK9+. (On subsequent invocations, all of the classes are cached, but the first extraction of each class is quite slow.) This is a Crucible issue, not a SAW one, so I have opened https://github.com/GaloisInc/crucible/issues/1060 to track this.String
class at the moment. See https://github.com/GaloisInc/crucible/issues/641.
On my first run of
examples/ecdsa/ecdsa.saw
in an Ubuntu 18.04 workspace with OpenJDK 17,set_unit
required about 22m29s to verify, andsignHash
failed while looking forchar[] value
in classjava/lang/Object
:Suspecting these might have something to do with Jigsaw (Open/JDK 9+), I adapted
Makefile
to use aJAVA_BIN
environment variable... (Note that this might not be portable to other platforms.) (Also note that thesignHash
failure is probably an instance of a known issue that remains open. The first run slowness might be known too, but I don't see a related issue.)...and reran the script after specifying OpenJDK 8, which still failed:
From here, I adapted
Makefile
to specify-b $JAVA_BIN
for SAW.....and reran the script, which succeeded this time:
I tried one more time with OpenJDK 17, which verified
set_unit
much more quickly (~5.17s), but failed to verifysignHash
for the same reason:I installed OpenJDK 11 and tried again, slowing on the first run and failing in the same way as for OpenJDK 17 (again probably because of crucible#641).