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.
27 lines
907 B
27 lines
907 B
2 days ago
|
// The differential of the formats against the Go reference on the part of
|
||
|
|
// the cases that test/vectors/formats_vectors.g.dart holds: it reads no
|
||
|
|
// file, so it also runs compiled to JavaScript, where the integers of the
|
||
|
|
// frames, of the rounds and of the padding must be exact too.
|
||
|
|
library;
|
||
|
|
|
||
|
|
import 'dart:convert';
|
||
|
|
|
||
|
|
import 'formats_differential.dart';
|
||
|
|
import 'vectors/formats_vectors.g.dart';
|
||
|
|
|
||
|
|
void main() {
|
||
|
|
Json parse(String text) => jsonDecode(text) as Json;
|
||
|
|
formatsDifferential({
|
||
|
|
'framing': parse(formatsFramingJson),
|
||
|
|
'header': parse(formatsHeaderJson),
|
||
|
|
'control': parse(formatsControlJson),
|
||
|
|
'profile': parse(formatsProfileJson),
|
||
|
|
'extension': parse(formatsExtensionJson),
|
||
|
|
'datekey': parse(formatsDatekeyJson),
|
||
|
|
'time': parse(formatsTimeJson),
|
||
|
|
'padding': parse(formatsPaddingJson),
|
||
|
|
'body': parse(formatsBodyJson),
|
||
|
|
'encode': parse(formatsEncodeJson),
|
||
|
|
});
|
||
|
|
}
|