comparison Applications/Generic/NativeStoneApplicationRunner.cpp @ 622:8a3a25f2d42c

uncoupling oracle from context
author Sebastien Jodogne <s.jodogne@gmail.com>
date Tue, 07 May 2019 12:32:21 +0200
parents 86dfde451f4c
children 63982c8c294a
comparison
equal deleted inserted replaced
621:8adc8cfb50c7 622:8a3a25f2d42c