ACSL Verification Tool
ACSL Pseudo-Code Interpreter
Enter an ACSL What Does This Program Do program, provide any required input, and run it to verify the program's output.
Execution happens entirely in your browser. LogicMint does not receive or store your program.
Run a WDTPD program
Your program and input remain in this browser.
Status: Ready
Enter one program. WDTPD keywords are case-insensitive.
Separate values with spaces, commas, or line breaks.
Output
Run the program to see its output.
Interpreter version 0.1.0 · Browser execution · 3-second execution limit
Supported syntax
The interpreter supports common ACSL tracing syntax, including variables, arrays, strings, assignments, input and output, conditionals, and loops.
- Statements
INPUT,READ,DATA,OUTPUT,PRINT, assignment,SWAP, andEND- Control flow
IF / ELSE / END IF, inline conditionals,FOR / NEXT, andWHILE / END WHILE- Values
- Numbers, booleans, strings, one- and multi-dimensional arrays, string indexing, and ACSL-style slices
- Functions
ABS,SQRT,INT,LEN,VAL,STR,MID$,LEFT$, andRIGHT$
How program input works
Enter input values in the Program input field before running. Values may be separated by spaces, commas, or line breaks and are consumed in order by INPUT statements. Executable DATA is consumed by READ.