CS 780 Discrete State Models

Notes, Hints, Questions and Answers

• Which GCC version to use for Mobius? Mobius works with a version of gcc that is older than what is currently installed on the lab machines. Thanks to Ruth Lamprecht, the right version is available at /home/scratch/rlampy/old_gcc/bin . To let Mobius know where to find gcc use the settings menu in the title bar: Settings->OS and insert /home/scratch/rlampy/old_gcc/bin/g++