2021-05-19 20:50:43 +03:00
|
|
|
// namespace: Compile
|
|
|
|
|
// expectation: Fail
|
|
|
|
|
// input_files:
|
|
|
|
|
// - input/dummy.in
|
2021-05-03 16:47:33 +03:00
|
|
|
|
|
|
|
|
import core.unstable.blake2s.BadCircuit; // `BadCircuit` is not included in the blake2s package
|
|
|
|
|
|
|
|
|
|
function main() -> bool {
|
|
|
|
|
return false;
|
|
|
|
|
}
|
