| build and install gcc to $prefix, then run: |
| |
| LD_LIBRARY_PATH=$prefix/lib64 CXX=$prefix/bin/g++ make run |
| Build and run with continuation mode on; will print violation info from the |
| standard handler and then continue to print "returning from main" |
| |
| LD_LIBRARY_PATH=$prefix/lib64 CXX=$prefix/bin/g++ make runnostd |
| Build and run with continuation mode on, using the default violation handler |
| while preloading the 'nocontinue' hook. This uses LD_PRELOAD to turn all |
| continuing contract violations into non-continuing versions. |
| |
| Will print violation info from the standard handler and then terminate -- it |
| will not print "returning from main" |
| |
| LD_LIBRARY_PATH=$prefix/lib64 CXX=$prefix/bin/g++ make runno |
| Build and run with continuation mode on, using a custom violation handler |
| while preloading the 'nocontinue' hook. This uses LD_PRELOAD to turn all |
| continuing contract violations into non-continuing versions and to install a |
| custom violation handler. |
| |
| Will print violation info from the custom handler and then terminate -- it |
| will not print "returning from main" |
| |