search

palvaro / molly

An implementation of LDFI
126 stars 23 forks source link

Molly vagrant hanging on some counter example suite tests. #12

Closed KDahlgren closed 6 years ago

KDahlgren commented 6 years ago

Hi,

I'm working with Molly via the vagrant image on OS X High Sierra. I was running through the counter example test suite manually and noticed a few tests seem to hang, sometimes as a result of running out of memory. I'm just running the vagrant file with whatever additional virtual system defaults are provided in vagrant.

The attached image shows the error encountered when running sbt "run-main edu.berkeley.cs.boom.molly.SyncFTChecker src/test/resources/examples_ft/commit/2pc.ded src/test/resources/examples_ft/commit/2pc_assert.ded --EOT 7 --EFF 3 --nodes a,b,C,d --crashes 0 --prov-diagrams"

The terminal just hangs until I control-c.

The behavior occurs on other tests as well. Has anyone else encountered this issue?

Best, KD

screen shot 2018-05-08 at 12 40 07 pm
palvaro commented 6 years ago

did you try running it without the prov-diagrams flag?

On Tue, May 8, 2018 at 12:49 PM, KDahlgren notifications@github.com wrote:

Hi,

I'm working with Molly via the vagrant image on OS X High Sierra. I was running through the counter example test suite manually and noticed a few tests seem to hang, sometimes as a result of running out of memory. I'm just running the vagrant file with whatever additional virtual system defaults are provided in vagrant.

The attached image shows the error encountered when running sbt "run-main edu.berkeley.cs.boom.molly.SyncFTChecker src/test/resources/examples_ft/commit/2pc.ded src/test/resources/examples_ft/commit/2pc_assert.ded --EOT 7 --EFF 3 --nodes a,b,C,d --crashes 0 --prov-diagrams"

The terminal just hangs until I control-c.

The behavior occurs on other tests as well. Has anyone else encountered this issue?

Best, KD

[image: screen shot 2018-05-08 at 12 40 07 pm] https://user-images.githubusercontent.com/16612428/39779383-e0d6e9b4-52bd-11e8-85cd-5f0fdb90f273.png

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/palvaro/molly/issues/12, or mute the thread https://github.com/notifications/unsubscribe-auth/AAKx0ZQEy59bKAzxNh1WnmN3G8s4WdH7ks5twfavgaJpZM4T3PCr .

KDahlgren commented 6 years ago

Nope, I didn't try that. Just ran all the stalling tests w/o prov-diagrams and got the results. Thanks Peter!