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)
How to test MC SAT, on without graphic interface Linux system?
Para obter mais informações sobre otimizações de compiladores, consulte Aviso sobre otimizações.

