blog/assets/js/06c4a8fc.18eb9afc.js

"use strict";(self.webpackChunkfi=self.webpackChunkfi||[]).push([[2125],{4697:t=>{t.exports=JSON.parse('{"label":"testing","permalink":"/algorithms/tags/testing","allTagsPath":"/algorithms/tags","count":1,"items":[{"id":"algorithms-correctness/postcondition-ambiguity","title":"Vague postconditions and proving correctness of algorithms","description":"Debugging and testing with precise postconditions.\\n","permalink":"/algorithms/algorithms-correctness/postcondition-ambiguity"}],"unlisted":false}')}}]);