2 lines
30 B
Plaintext
2 lines
30 B
Plaintext
|
|
RUN: $(StepFunctionSampleSat)
|
|
|
RUN: $(StepFunctionSampleSat)
|