Permalink
Browse files

Added triq_statem.hrl .

  • Loading branch information...
esstrifork committed Sep 8, 2011
1 parent 47a2478 commit 5c5e5eb327409c8ece607b460d19db2d5c608004
Showing with 22 additions and 0 deletions.
  1. +22 −0 include/triq_statem.hrl
View
@@ -0,0 +1,22 @@
+%%
+%% This file is part of Triq - Trifork QuickCheck
+%%
+%% Copyright (c) 2011 by Trifork
+%%
+%% 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.
+%%
+
+-import(triq_statem, [commands/1,
+ run_commands/2, run_commands/3,
+ state_after/2,
+ prop_statem/1]).

0 comments on commit 5c5e5eb

Please sign in to comment.