blob: f429ba5e176f847cd87a20f93de47dcd106b1206 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using Microsoft.Boogie;
namespace Microsoft.Boogie
{
class RefinementCheck
{
public static void AddCheckers(LinearTypeChecker linearTypeChecker)
{
}
}
}
|