diff mx/sanitycheck.py @ 13858:6b91134526a7

Truffle: disable (most) optimistic optimizations (profile is not reliable in hosted mode)
author Andreas Woess <andreas.woess@jku.at>
date Mon, 03 Feb 2014 15:49:58 +0100
parents 99769479f9ce
children 4cd7c6629841
line wrap: on
line diff