about summary refs log tree commit diff stats
path: root/charterm/main.rkt
Commit message (Expand)AuthorAgeFilesLines
* 308 - temporarily inline charterm dependencyKartik K. Agaram2014-11-231-0/+3
generated by cgit-pink 1.4.1-2-gfad0 (git 2.36.2.497.gbbea4dcf42) at 2024-11-17 08:13:54 +0000
lt;vc@akkartik.com> 2015-04-20 10:19:35 -0700 committer Kartik K. Agaram <vc@akkartik.com> 2015-04-20 10:19:35 -0700 1108 - check for typos in memory expectations in scenarios' href='/akkartik/mu/commit/cpp/.traces/parse_scenario_memory_expectation_duplicate?h=main&id=11fa4fe1f51f2762c3c33dd33794096842d2707a'>11fa4fe1 ^ 
1
2
3
4
5





                                                    
parse/0: reading scenario foo
parse/0: scenario will run: a <- b
parse/0: memory expectation: *1 == 0
warn/0: duplicate expectation for location 1: 0 -> 1
parse/0: memory expectation: *1 == 1