From 69652efe8ad9738a94fef571c8b81e342f96e7b4 Mon Sep 17 00:00:00 2001 From: SoniEx2 Date: Sun, 7 Feb 2021 22:19:21 -0300 Subject: Finish porting parser --- tests/parser_prop.rs | 33 +++++++++++++++++++++++++++++++++ 1 file changed, 33 insertions(+) create mode 100644 tests/parser_prop.rs (limited to 'tests/parser_prop.rs') diff --git a/tests/parser_prop.rs b/tests/parser_prop.rs new file mode 100644 index 0000000..57976cb --- /dev/null +++ b/tests/parser_prop.rs @@ -0,0 +1,33 @@ +/* + * This file is part of Datafu + * Copyright (C) 2021 Soni L. + * + * This program is free software: you can redistribute it and/or modify + * it under the terms of the GNU Affero General Public License as published by + * the Free Software Foundation, either version 3 of the License, or + * (at your option) any later version. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU Affero General Public License for more details. + * + * You should have received a copy of the GNU Affero General Public License + * along with this program. If not, see . + */ + +extern crate proptest; +extern crate datafu; + +mod common; + +use common::Value; + +use proptest::prelude::*; + +proptest! { + #[test] + fn doesnt_panic(s in "\\PC*") { + let _ = datafu::Pattern::::compile::<&str, &str>(&s, None, None); + } +} -- cgit 1.4.1