How to test MC SAT, on without graphic interface Linux system?

How to test MC SAT, on without graphic interface Linux system?

Linux version of MC SAT Tool currently only supports graphical interface. If the app you want to test is based on non-graphical interface of Linux development, you can make use of remote desktop management ISV Software to help do testing. (For example: Xmanage)

1 post / 0 new
For more complete information about compiler optimizations, see our Optimization Notice.