search

boogie-org / corral

solver for the reachability modulo theories problem
MIT License
58 stars 29 forks source link

Cannot build Corral #89

Closed garbervetsky closed 5 years ago

garbervetsky commented 5 years ago

In the process of making the instructions for OSX I tried to build Corral from scratch and get a couple of errors in Corral: BoogieVerify.cs(317,40): error CS0176: Member 'StratifiedVCGen.callTree' cannot be accessed with an instance reference; qualify it with a type name instead BoogieVerify.cs(318,21): error CS0176: Member 'StratifiedVCGen.callTree' cannot be accessed with an instance reference; qualify it with a type name instead

When I see the file StratifiedVC, line 834 in Boogie I found the variable is static: public static HashSet<string> callTree = null;

I see that this commit has produced this error.

akashlal commented 5 years ago

Fixed: thanks for pointing it out.