Alexander "PapaTutuWawa
5e867e30ee
Some checks failed
ci/woodpecker/manual/woodpecker Pipeline failed
Now, `import 'package:moxlib/moxlib.dart';` is enough.
14 lines
328 B
Dart
14 lines
328 B
Dart
import 'package:moxlib/moxlib.dart';
|
|
import 'package:test/test.dart';
|
|
|
|
void main() {
|
|
group('implies', () {
|
|
test('Truth table test', () {
|
|
expect(implies(true, true), true);
|
|
expect(implies(true, false), false);
|
|
expect(implies(false, true), true);
|
|
expect(implies(false, false), true);
|
|
});
|
|
});
|
|
}
|