| % Licensed under the Apache License, Version 2.0 (the "License"); you may not |
| % use this file except in compliance with the License. You may obtain a copy of |
| % the License at |
| % |
| % http:%www.apache.org/licenses/LICENSE-2.0 |
| % |
| % Unless required by applicable law or agreed to in writing, software |
| % distributed under the License is distributed on an "AS IS" BASIS, WITHOUT |
| % WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the |
| % License for the specific language governing permissions and limitations under |
| % the License. |
| |
| -module(hqueue_proper). |
| |
| -ifdef(WITH_PROPER). |
| -include_lib("proper/include/proper.hrl"). |
| -include_lib("eunit/include/eunit.hrl"). |
| |
| |
| -define(QC(Prop), proper:quickcheck(Prop, [{to_file, user}])). |
| |
| |
| prop_simple() -> |
| ?FORALL({P, V}, {non_neg_float(), nat()}, |
| begin |
| {ok, HQ} = hqueue:new(), |
| hqueue:insert(HQ, P, V), |
| {P, V} == hqueue:extract_max(HQ) |
| end). |
| |
| |
| simple_test_() -> |
| ?_assertEqual(true, ?QC(prop_simple())). |
| |
| -endif. |