McScM Model Checker 32/64 bit on Linux

petertsehsun / synoptic

Automatically exported from code.google.com/p/synoptic

0 stars 0 forks source link

McScM Model Checker 32/64 bit on Linux #372

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

CSight dependency on McScM model checker fails on 32-bit Linux as pre-compiled 
mcscm binary executable is 64 bit only.

JUnit tests of mcscm fails as it is coded to link to the 64bit binary 
executable.

Original issue reported on code.google.com by bobyan...@gmail.com on 14 May 2014 at 9:57

GoogleCodeExporter commented 9 years ago

Original comment by bobyan...@gmail.com on 14 May 2014 at 10:02

Added labels: Dynoptic

GoogleCodeExporter commented 9 years ago

Fixed in revision 1472321829a5

Please check getMcPath() in CSightTests.java for changes

Original comment by bobyan...@gmail.com on 17 May 2014 at 6:15

Changed state: Accepted
Added labels: Type-Review
Removed labels: Type-Defect

GoogleCodeExporter commented 9 years ago

Merged into default with revision 4f2b7a1cdca2

Original comment by bestchai on 29 May 2014 at 3:24

Changed state: Fixed

GoogleCodeExporter commented 9 years ago

This issue was closed by revision bde7545b4be2.

Original comment by bestchai on 29 May 2014 at 3:24