search

vmware / differential-datalog

DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
MIT License
1.38k stars 118 forks source link

String input and output #360

Open mihaibudiu opened 5 years ago

mihaibudiu commented 5 years ago

We have to test the various escape sequences used for input and output strings in various languages. I suspect that we want an invariant that a string output by a DDlog program CLI command should be readable unmodified and with the same meaning as an input in a record.

We should also probably generate helper functions in Java and Rust to output and input such strings.

mihaibudiu commented 5 years ago

In particular, in Java: DDlogRecord.toString() is incorrect.