ID #1044

When using standard Murphi for verification, the g++ does not work properly for the generated .c file, with the following error: include/mu_system.C: In constructor ‘AlgorithmManager::AlgorithmManager()’: include/mu_system.C:803: error: invalid conversion from ‘void (*)(...)’ to ‘void (*)(int)’ include/mu_system.C:803: error: initializing argument 2 of ‘void (* signal(int, void (*)(int)))(int)’ .....

The error is:

include/mu_system.C: In constructor ‘AlgorithmManager::

AlgorithmManager()’:
include/mu_system.C:803: error: invalid conversion from ‘void
(*)(...)’ to ‘void (*)(int)’
include/mu_system.C:803: error:   initializing argument 2 of ‘void (*
signal(int, void (*)(int)))(int)’
Thanks to Igor Melatti, the soultion is short: "Try with CMurphi from Tronci's group, by compiling with g++
-DSYSCONF_RDCL -DCATCH_DIV." While I tried the same options with standard Murphi, it worked too.Thanks again to Igor.

 

Categories for this entry

Tags: software

Related entries:

You can comment this FAQ