Today at work I was able to finally get a chance to write down tests for DSDS first order logic expression generation. I was also able to find out that obligation expressions can be generalized to support the return of constant values (something I apparently didn’t add already lol).

I’ve been meaning to write something like this, and I’ve come to the conclusion that it’s probably more productive to record the stuff I’ve been thinking instead of just letting them stew in my head. I think I’m going to make this a collective post, and by that I mean I’ll make incremental edits to it over the next fews weeks or so. I’ll also try a bit harder to make this post more interesting (read work harder at writing) than I have in other posts.

Some honesty.