You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
16 lines
547 B
16 lines
547 B
// The writer of capsules against Go, the cases marked node of
|
|
// test/vectors/capsule_writer.json, from a Dart constant, so that they also
|
|
// run compiled to JavaScript (see capsule_writer_cases.dart). Each capsule is
|
|
// opened only with its first credential there: every opening verifies the
|
|
// release of the round.
|
|
|
|
import 'dart:convert';
|
|
|
|
import 'capsule_writer_cases.dart';
|
|
import 'capsule_writer_support.dart';
|
|
import 'vectors/capsule_writer.g.dart';
|
|
|
|
void main() {
|
|
writerCases(jsonDecode(capsuleWriterJson) as Json, allOpens: !isWeb);
|
|
}
|