How to get simple record of SPEC8 input and config

[Newbie]

Hi,

I've just started using GWB and I'd like to have a simple concise record of the input settings for each Spec8 run, similar to what is shown in the GBRM textbook, showing what is decoupled, what is swapped, constraints etc. Is there a view that shows this? Is there a way to have this print on the output?

Thanks,

Scott

[Tom Meuzelaar]

Hi,

I've just started using GWB and I'd like to have a simple concise record of the input settings for each Spec8 run, similar to what is shown in the GBRM textbook, showing what is decoupled, what is swapped, constraints etc. Is there a view that shows this? Is there a way to have this print on the output?

Thanks,

Scott

Hi Scott:

You can do this - save your current script (as a .sp8 file) and open it in a text editor. Then append the following line of code at the end:

$type Input_script.sp8 >> SpecE8_output.txt
Go

Be sure to replace Input_script with the name of your script.

I hope that helps,

Tom Meuzelaar

RockWare, Inc.

[Newbie]

Thanks Tom, that is helpful.