--hardening

Property definitions

	# --hardening
	var opt_hardening = new OptionBool("Generate contracts in the C code against bugs in the compiler", "--hardening")

src/compiler/abstract_compiler.nit:53,2--54,115