@april@cyberglot.lol Interesting! Something similar might be quite useful for an evaluation. e.g. we could make some metamorphic relation to rewrite testcases and use that as an oracle for completeness (I think SMT solver testing is done similarly...)
=> More informations about this toot | View the thread | More toots from addison@nothing-ever.works
=> View april@cyberglot.lol profile
text/geminiThis content has been proxied by September (3851b).